|
|
Rekonstrukce č.5
Nováček, Daniel ; Buraj, Ivan (oponent) ; Sterec, Pavel (vedoucí práce)
Hodnoty kategorie reálného se neztrácejí při aplikaci měření. Problémem není přítomnost měření, ale jeho nedostatečná kvantita a podrobnost. Metodika analýzy systémů, podsystémů a funkcí prvků v nich a jejich reprodukce v rámci determinované reality.
|
|
|
Syntaktická analýza založená na párových automatech
Zámečníková, Eva ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Diplomová práce pojednává o syntaktické analýze založené na modelu párových automatů. Konečný párový automat obsahuje vstupní a výstupní automat. Vstupní automat provádí syntaktickou analýzu se vstupním řetězcem. Použitá pravidla vstupního automatu řídí výstupní automat, který generuje výstupní řetězec. V práci je popsán způsob determinizace vstupního automatu bez ztráty informací o pravidlech použitých v původním automatu. Determinizace je rozdělena na dvě části - pro převodníky specifikující konečný a nekonečný překlad. Dále je prezentován párový automat se zvýšenou výpočetní silou. Zvýšení síly spočívá v nahrazení vstupního či výstupního automatu nebo jen jeho části bezkontextovou gramatikou.
|
|
| |
|
|
Syntaktická analýza založená na systémech hlubokých zásobníkových automatů
Šoustar, Jakub ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá hlubokými zásobníkovými automaty a zavádí jejich modifikaci nazvanou řízený hluboký zásobníkový automat. Dále jsou v této práci představeny distribuované systémy hlubokých zásobníkových automatů a paralelně komunikující systémy řízených hlubokých zásobníkových automatů. Jsou zkoumány vlastnosti a vyjadřovací síla těchto automatových systémů a je zavedeno několik variant těchto systémů. Pro jednu z variant paralelně komunikujících systémů je dokázáno, že disponuje stejnou vyjadřovací silou, jakou mají Turingovy stroje. Na základě těchto automatových systémů je zavedena metoda syntaktické analýzy.
|
|
|
Syntaktická analýza založená na speciálních modelech
Zámečníková, Eva ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Bakalářká práce se zabývá syntaktickou analýzou pomocí párových automatů. Konečný párový automat obsahuje vstupní a výstupní automat. Vstupní automat provádí syntaktickou analýzu se vstupním řetězcem. Použitá pravidla vstupního automatu řídí výstupní automat, který generuje výstupní řetězec. Hlavním tématem této práce je determinizace vstupního automatu bez ztráty informací o pravidlech použitých v původním automatu.
|
|
| |
|
| |
|
|
Je svobodná vůle pouhou iluzí?
KOHOUTOVÁ, Lucie
Otázka svobodné vůle je to jedna z nejstarších a nejsložitějších otázek, kterou se člověk zabývá. Nejde pouze o teoretickou rovinu, protože důsledky našeho jednání ovlivní nejen náš život, ale i životy ostatních lidí. Ve své bakalářské práci se budu opírat o definice svobodné vůle a pokusím se vymezit základní teorie, které s ní pracují. Jaké jsou základní postoje ke svobodné vůli a jaké argumenty jsou pro její existenci, či neexistenci? Hlavní otázkou bude, jestli disponujeme svobodnou vůlí, zda jsme schopni se svobodně rozhodnout, nebo je nám akt svobodné vůle předurčen a naše svobodná vůle je pak pouhou iluzí. Pokusím se předložit argumenty některých filosofů a ukázat jejich pohled na svobodnou vůli, a s tím související morální odpovědnost.
|
|
| |
|
|
Existencialism and its Implementation in Education
Krivdová, Annamária ; Hogenová, Anna (vedoucí práce) ; Hauser, Michael (oponent)
Tato práce si klade za cíl nastínit nejvlivnější myšlenky existencialismu a dát je do souvislosti s naším každodenním životem. První část se zaměřuje na pět existenciálních spisovatelů a jejich nejhlubší příspěvky. Oslovuje díla Dostojevského, Kierkegaarda, Nietzscheho, Sartra a Camuse. Druhá část se skládá z dvanácti podkapitol, řešících otázky svobody, determinismu, úzkosti, utrpení, autenticity, odpovědnosti a hledání smyslu života. Tato část se snaží uvést otázky existenciální filozofie do praktického využití a zdůraznit její trvalý vliv a význam v dnešním světě. Je postavena ve formě dvanácti lekcí a nabízí různé příklady a pohledy na podnětné koncepty uvedené v první části.
|
host ::
RSS.